davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·17h·
Discuss: Hacker News
🕸️WebP Analysis
Encrypting identifiers in practice
sjoerdlangkemper.nl·9h
🌊Stream Ciphers
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
About to Take the Plunge - Any Final Words of Advice?
bargainhardware.co.uk·30m·
Discuss: r/homelab
🔒Hardware Attestation
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·5h
🗃️Database Storage
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·11h·
Discuss: Hacker News
📲Digitization
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·1d
🐛Fuzzing
Linters, Formatters, and Type-Checkers
playfulprogramming.com·6d
🎯Gradual Typing
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
The Guide to the Foundation Models Framework
azamsharp.com·42m·
Discuss: Hacker News
λLambda Formalization
The collective waste caused by poor documentation
shanrauf.com·12h·
Discuss: Hacker News
📦Deflate